Banqueros y Lava Dólares

Introducing Kansas Lava

Kansas Lava is a domain specific language for hardware description. Though there have been a number of previous implementations of Lava, we have found the design space rich, with unexplored choices. We use a direct (Chalmers style) specification of circuits, and make significant use of Haskell overloading of standard classes, leading to concise circuit descriptions. Kansas Lava supports both si...

Animating Lava Flows

Animating lava flowing down the slopes of a volcano brings several challenges: modeling the mechanical features of lava and how they evolve over time depending on temperature; computing, in a reasonable time, the interactions inside the flow, and between the flow and a complex terrain data-base; and lastly, rendering the visual aspect of the flow. The methods described rely on smoothed particle...

Lava Crowns and Bridges

Asteroidal Lava Flows

Some meteorites are pieces of lava flows. They have the expected minerals present and the crystals are intertwined in a characteristic way indicative of crystallization in a lava flow. This shows that lavas erupted on at least some asteroids. Age dating indicates that the eruptions took place 4.5 billion years ago. Planetary scientists have recognized three main groups of asteroidal lava flows,...

Evaluating Exploratory Learning in LAVA

This paper reports on some initial experiences developing and evaluating a games-based approach to explorative learning. The approach adopted has particular relevance to subjects such as archaeology and geography that have scope for a significant fieldwork element, but which in practice are limited by the problems and costs associated with arranging real experience for potentially large numbers...